delta epsilon proofs